Some undecidable problems in group theory
نویسندگان
چکیده
منابع مشابه
Some Undecidable Problems in Group Theory
In this paper we obtain general results for undecidable first order decision problems about groups (that is, problems about elements in a particular group, such as the word and conjugacy problems). We shall describe a class ii of such decision problems and a construction A such that if P is a problem in Q, then A(P) will be a finitely presented group in which P is recursively undecidable. This ...
متن کاملSome Group Theory Problems
This is a survey of some problems in geometric group theory which I find interesting. The problems are from different areas of group theory. Each section is devoted to problems in one area. It contains an introduction where I give some necessary definitions and motivations, problems and some discussions of them. For each problem, I try to mention the author. If the author is not given, the prob...
متن کاملDecidable and Undecidable Problems in Matrix Theory
This work is a survey on decidable and undecidable problems in matrix theory. The problems studied are simply formulated, however most of them are undecidable. The method to prove undecidabilities is the one found by Paterson [Pat] in 1970 to prove that the mortality of nitely generated matrix monoids is undecidable. This method is based on the undecidability of the Post Correspondence Problem....
متن کاملIndependent Instances for Some Undecidable Problems
— In this note we prove the existence of effectively independent instances (with respect to an arbitrary recursively axiomatizable, consistent, intuitively true and sufficiently rich theory) for some well-known undecidable problems including the Emptiness Problem, the Finiteness Problem, the Totality Problem, the Halting Problem and the Post Correspondence Problem. Applications in the Theory of...
متن کاملSome Undecidable Problems Related to the Herbrand Theorem
March 1997 (revised July 1997) ISSN 1100{0686 Some Undecidable Problems Related to the Herbrand Theorem Yuri Gurevich Margus Veanes EECS Department Computing Science Department University of Michigan Uppsala University Ann Arbor, MI 48109-2122 Box 311, S-751 05 Uppsala USA Sweden [email protected] [email protected] Abstract We improve upon a number of recent undecidability results related to th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1972
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1972-0320119-6